ANALOG: A KRR System for Natural Language Reasoning
نویسنده
چکیده
Natural language allows a form of reasoning called surface reasoning. This style of reasoning allows the derivation of new statements from old, based on two properties of the statements. First, similarity of the syntactic structure of the statements and, second, \obvious" subsumption relations between parts of the statements corresponding to descriptions. We describe a formalization of surface reasoning, based on a propositional semantic network with structured variables, using three mechanisms: node subsumption, matching, and instantiation. The implemented system is called ANALOG and it is a useful tool for NLP
منابع مشابه
ANALOG: A Knowledge Representation System for Natural Language Processing
The general task of work in knowledge representation and reasoning (KRR) is, trivially, the representation of knowledge. The domain for which the representation task has been undertaken is, often, secondary to the description of the overall task as an exercise in knowledge representation. Thus, the task of representing and using mathematical, common sense, visual, language-based, and logical kn...
متن کاملFrom robust spoken language understanding to knowledge acquisition and management
The recent evolution of Carl, an intelligent mobile robot, is presented. The paper focuses on robust spoken language understanding (SLU) and on knowledge representation and reasoning (KRR). Robustness in SLU is achieved through the combination of deep and shallow parsing, tolerating non-grammatical utterances. The KRR module supports the integration of information coming from different interloc...
متن کاملRulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning
In this half-day tutorial, we cover the fundamental concepts, key technologies, emerging applications, recent progress, and outstanding research issues in the area of Rulelog, a leading approach to fully semantic rule-based knowledge representation and reasoning (KRR). Rulelog matches well many of the requirements of cognitive computing. It combines deep logical/probabilistic reasoning tightly ...
متن کاملAutomatic Model Generation to Diagnose Autonomous Systems
Autonomous systems’ dependability can be improved by performing diagnosis during run-time. This can be achieved through model-based diagnosis (MBD) techniques. The required models of the system are for the most part handcrafted. This task is time consuming and error prone. To overcome this issue, we propose a framework to generate formal models out of natural language documents, such as technic...
متن کاملParametric Connectives in Disjunctive Logic Programming
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class Σ 2 (NP ). Importantly, the DLP encodings are often simple and natural. In this paper, we single out some limitations of DLP for KR...
متن کامل